#ifndef user_print_h
#define user_print_h
#include<stdarg.h>
#include<stdio.h>
#include<string.h>
int user_printf(char*fmt,...);
void putstring(char*str);
#endif